Natural deduction for intuitionistic least and greatest fixedpoint logics, with an application to program construction
- Författare
- Tekniska högskolan i Stockholm Tarmo Uustalu
- (Tarmo Uustalu., Diss. Stockholm : Tekn. högsk.)
- Genre
- theses, Avhandlingar
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Kista snabbtr. | 1998 | Sverige, Stockholm, Stockholm | [2], x, 98 sidor. ill. 25 cm |